<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
            "http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>



<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="umsroot.css">
<TITLE>
Arithmetic Evaluation
</TITLE>
</HEAD>
<BODY >
<A HREF="umsroot037.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="umsroot049.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
<HR>

<H1 CLASS="chapter"><A NAME="htoc109">Chapter&nbsp;8</A>&nbsp;&nbsp;Arithmetic Evaluation</H1>
<A NAME="chaparith"></A>
<A NAME="@default384"></A>
<BR>
<BR>
<UL>
<LI><A HREF="umsroot043.html">Built-Ins to Evaluate Arithmetic Expressions</A>
<UL>
<LI><A HREF="umsroot043.html#toc69">Arithmetic Evaluation vs Arithmetic Constraint Solving</A>
</UL>
<LI><A HREF="umsroot044.html">Numeric Types and Type Conversions</A>
<UL>
<LI><A HREF="umsroot044.html#toc70">Integers</A>
<LI><A HREF="umsroot044.html#toc71">Rationals</A>
<LI><A HREF="umsroot044.html#toc72">Floating Point Numbers</A>
<LI><A HREF="umsroot044.html#toc73">Bounded Real Numbers</A>
<LI><A HREF="umsroot044.html#toc74">Type Conversions</A>
</UL>
<LI><A HREF="umsroot045.html">Arithmetic Functions</A>
<UL>
<LI><A HREF="umsroot045.html#toc75">Predefined Arithmetic Functions</A>
<LI><A HREF="umsroot045.html#toc76">Evaluation Mechanism</A>
<LI><A HREF="umsroot045.html#toc77">User Defined Arithmetic Functions</A>
<LI><A HREF="umsroot045.html#toc78">Runtime Expressions</A>
</UL>
<LI><A HREF="umsroot046.html">Low Level Arithmetic Builtins</A>
<LI><A HREF="umsroot047.html">The Multi-Directional Arithmetic Predicates</A>
<LI><A HREF="umsroot048.html">Arithmetic and Coroutining</A>
</UL>
<BR>
<BR>

<BR>
<BR>
<HR WIDTH="50%" SIZE=1><DL CLASS="list"><DT CLASS="dt-list"><A NAME="note8" HREF="umsroot044.html#text8"><FONT SIZE=5>1</FONT></A><DD CLASS="dd-list">
ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> versions older than 5.5 optionally supported single precision
floats. This is no longer the case.
<DT CLASS="dt-list"><A NAME="note9" HREF="umsroot044.html#text9"><FONT SIZE=5>2</FONT></A><DD CLASS="dd-list">
We have chosen to use the term <B>bounded real</B> rather than
<B>interval</B> in order to avoid confusion with interval variables
as used in the interval arithmetic constraint solvers
<DT CLASS="dt-list"><A NAME="note10" HREF="umsroot044.html#text10"><FONT SIZE=5>3</FONT></A><DD CLASS="dd-list">This is in contrast to a floating point number, which represents
a real number which lies somewhere in the vicinity of the float
<DT CLASS="dt-list"><A NAME="note11" HREF="umsroot045.html#text11"><FONT SIZE=5>4</FONT></A><DD CLASS="dd-list">Caution: In ECL<SUP><I>i</I></SUP>PS<SUP><I>e</I></SUP> versions up to 5.8, <B>mod</B> was the
remainder corresponding to <B>//</B>, i.e. behaved like <B>rem</B>
</DL>
<HR>
<A HREF="umsroot037.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
<A HREF="umsroot049.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
</BODY>
</HTML>
